%--

%-- aba

@article{Abadi12, 
    author={Abadi, Daniel J.}, 
    title={Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story}, 
    journal={Computer}, 
    year={2012}, 
    month={Feb},
    volume={45}, 
    number={2}, 
    pages={37-42}, 
    doi={10.1109/MC.2012.33}, 
    publisher = {IEEE Computer Society},
}


%-- att

@article{Attiya95,
    author = {Attiya, Hagit and Bar-Noy, Amotz and Dolev, Danny},
    title = {Sharing Memory Robustly in Message-passing Systems},
    journal = {J. ACM},
    issue_date = {Jan. 1995},
    volume = {42},
    number = {1},
    month = jan,
    year = {1995},
    issn = {0004-5411},
    pages = {124--142},
    numpages = {19},
    url = {http://doi.acm.org/10.1145/200836.200869},
    publisher = {ACM},
} 

@book{Attiya14,
    author = {Attiya, Hagit and Ellen, Faith},
    title = {Impossibility Results for Distributed Computing},
    year = {2014},
    isbn = {9781627051712},
    publisher = {Morgan \& Claypool},
}


%-- bak

@inproceedings{Baker11,
    title = {Megastore: providing scalable, highly available storage for interactive services},
    author  = {Jason Baker and Chris Bond and James C. Corbett and JJ Furman and Andrey Khorlin and James Larson and Jean-Michel Leon and Yawei Li and Alexander Lloyd and Vadim Yushprakh},
    booktitle = {Proc. CIDR'11, Conference on Innovative Data System Research},
    year  = {2011},
    pages = {223--234}
    URL = {http://www.cidrdb.org/cidr2011/Papers/CIDR11_Paper32.pdf},
}


%-- bre

@ARTICLE{Brewer12,  
    author={E. {Brewer}}, 
    journal={Computer},   
    title={CAP twelve years later: How the "rules" have changed},   
    year={2012},  
    volume={45},  
    number={2},  
    pages={23-29},
}


%-- bur

@article{Burckhardt14-book,
    author = {Burckhardt, Sebastian},
    title = {Principles of Eventual Consistency},
    year = {2014},
    issue_date = {October 2014},
    publisher = {Now Publishers Inc.},
    address = {Hanover, MA, USA},
    volume = {1},
    number = {1–2},
    issn = {2325-1107},
    url = {https://doi.org/10.1561/2500000011},
    doi = {10.1561/2500000011},
    journal = {Found. Trends Program. Lang.},
    month = oct,
    pages = {1–150},
    numpages = {150}
}

@inproceedings{Burrows06,
    author = {Burrows, Mike},
    title = {The {Chubby} lock service for loosely-coupled distributed systems},
    booktitle = {Proc. OSDI'06, USENIX Symposium on Operating Systems Design and Implementation},
    year = {2006},
    pages = {335--350},
    url = {http://dl.acm.org/citation.cfm?id=1298455.1298487},
    publisher = {USENIX},
}


%-- cer

@article{Cerone18,
    author = {Cerone, Andrea and Gotsman, Alexey},
    title = {Analysing Snapshot Isolation},
    year = {2018},
    issue_date = {March 2018},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {65},
    number = {2},
    issn = {0004-5411},
    url = {https://doi.org/10.1145/3152396},
    doi = {10.1145/3152396},
    journal = {J. ACM},
    month = jan,
    articleno = {11},
    numpages = {41},
    keywords = {transaction chopping, Distributed computing models, robustness, snapshot isolation}
}


%-- cha

@inproceedings{Chandra07,
    author = {Chandra, Tushar D. and Griesemer, Robert and Redstone, Joshua},
    title = {Paxos Made Live: An Engineering Perspective},
    booktitle = {Proceedings of the Twenty-sixth Annual ACM Symposium on Principles of Distributed Computing},
    series = {PODC '07},
    year = {2007},
    pages = {398--407},
    url = {http://doi.acm.org/10.1145/1281100.1281103},
    publisher = {ACM},
} 

@article{Chandra96,
    author = {Chandra, Tushar Deepak and Toueg, Sam},
    title = {Unreliable Failure Detectors for Reliable Distributed Systems},
    journal = {J. ACM},
    issue_date = {March 1996},
    volume = {43},
    number = {2},
    month = mar,
    year = {1996},
    issn = {0004-5411},
    pages = {225--267},
    numpages = {43},
    url = {http://doi.acm.org/10.1145/226643.226647},
    doi = {10.1145/226643.226647},
    acmid = {226647},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {Byzantine Generals' problem, agreement problem, asynchronous systems, atomic broadcast, commit problem, consensus problem, crash failures, failure detection, fault-tolerance, message passing, partial synchrony, processor failures},
}

@article{Chang08,
    author = {Chang, Fay and Dean, Jeffrey and Ghemawat, Sanjay and Hsieh, Wilson C. and Wallach, Deborah A. and Burrows, Mike and Chandra, Tushar and Fikes, Andrew and Gruber, Robert E.},
    title = {Bigtable: A Distributed Storage System for Structured Data},
    journal = {ACM Trans. Comput. Syst.},
    issue_date = {June 2008},
    volume = {26},
    number = {2},
    month = jun,
    year = {2008},
    pages = {4:1--4:26},
    articleno = {4},
    url = {http://doi.acm.org/10.1145/1365815.1365816},
    publisher = {ACM},
} 

@book{Charron10,
    editor = {Charron-Bost, Bernadette and Pedone, Fernando and Schiper, Andr\'{e}},
    title = {Replication: Theory and Practice},
    year = {2010},
    isbn = {3642112935},
    publisher = {Springer-Verlag},
    address = {Berlin, Heidelberg}
}


%-- cor 

@inproceedings{Corbett12,
    author = {Corbett, James C. and Dean, Jeffrey and Epstein, Michael and Fikes, Andrew and Frost, Christopher and Furman, J. J. and Ghemawat, Sanjay and Gubarev, Andrey and Heiser, Christopher and Hochschild, Peter and Hsieh, Wilson and Kanthak, Sebastian and Kogan, Eugene and Li, Hongyi and Lloyd, Alexander and Melnik, Sergey and Mwaura, David and Nagle, David and Quinlan, Sean and Rao, Rajesh and Rolig, Lindsay and Saito, Yasushi and Szymaniak, Michal and Taylor, Christopher and Wang, Ruth and Woodford, Dale},
    title = {Spanner: {Google's} globally-distributed database},
    booktitle = {Proc. OSDI'12, USENIX Symposium on Operating Systems Design and Implementation},
    year = {2012},
    pages = {251--264},
    url = {http://dl.acm.org/citation.cfm?id=2387880.2387905},
    publisher = {USENIX},
} 


% cro

@inproceedings{Crooks17,
    author = {Crooks, Natacha and Pu, Youer and Alvisi, Lorenzo and Clement, Allen},
    title = {Seeing is Believing: A Client-Centric Specification of Database Isolation},
    year = {2017},
    isbn = {9781450349925},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3087801.3087802},
    doi = {10.1145/3087801.3087802},
    booktitle = {Proceedings of the ACM Symposium on Principles of Distributed Computing},
    pages = {73–82},
    numpages = {10},
    keywords = {cloud storage, distributed storage, isolation, concurrency control, distributed systems, weak consistency, acid, consistency, database, serializability, eventual consistency, transactions},
    location = {Washington, DC, USA},
    series = {PODC'17}
}


%-- dec

@inproceedings{DeCandia07,
    author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, 
    Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner},
    title = {Dynamo: Amazon's Highly Available Key-value Store},
    booktitle = {Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles},
    series = {SOSP '07},
    year = {2007},
    pages = {205--220},
    url = {http://doi.acm.org/10.1145/1294261.1294281},
    doi = {10.1145/1294261.1294281},
    publisher = {ACM},
} 


%-- fis

@article{Fischer85,
    author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.},
    title = {Impossibility of Distributed Consensus with One Faulty Process},
    journal = {J. ACM},
    issue_date = {April 1985},
    volume = {32},
    number = {2},
    month = apr,
    year = {1985},
    issn = {0004-5411},
    pages = {374--382},
    numpages = {9},
    url = {http://doi.acm.org/10.1145/3149.214121 },
    doi = {10.1145/3149.214121},
    acmid = {214121},
    publisher = {ACM},
    address = {New York, NY, USA},
} 


%-- gel

@article{Gelernter85,
    author = {Gelernter, David},
    title = {Generative Communication in Linda},
    journal = {ACM Trans. Program. Lang. Syst.},
    issue_date = {Jan. 1985},
    volume = {7},
    number = {1},
    month = jan,
    year = {1985},
    issn = {0164-0925},
    pages = {80--112},
    numpages = {33},
    url = {http://doi.acm.org/10.1145/2363.2433},
    doi = {10.1145/2363.2433},
    acmid = {2433},
    publisher = {ACM},
    address = {New York, NY, USA},
}


%-- gil

@article{Gilbert12,
    author = {Seth Gilbert and Nancy A. Lynch},
    title = {Perspectives on the CAP Theorem},
    journal ={Computer},
    volume = {45},
    number = {2},
    year = {2012},
    pages = {30-36},
    doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2011.389},
    publisher = {IEEE Computer Society},
}


% her

@article{Herlihy90,
    author = {Herlihy, Maurice P. and Wing, Jeannette M.},
    title = {Linearizability: a correctness condition for concurrent objects},
    journal = {ACM Transactions on Programming Languages and Systems},
    volume = {12},
    issue = {3},
    month = {July},
    year = {1990},
    pages = {463--492},
    url = {http://doi.acm.org/10.1145/78969.78972},
    publisher = {ACM},
}

@article{Herlihy91,
    author = {Herlihy, Maurice},
    title = {Wait-free Synchronization},
    journal = {ACM Trans. Program. Lang. Syst.},
    issue_date = {Jan. 1991},
    volume = {13},
    number = {1},
    month = jan,
    year = {1991},
    issn = {0164-0925},
    pages = {124--149},
    numpages = {26},
    url = {http://doi.acm.org/10.1145/114005.102808},
    publisher = {ACM},
}

@inproceedings{Herlihy11,
    author = {Herlihy, Maurice and Shavit, Nir},
    title = {On the Nature of Progress},
    booktitle = {Proceedings of the 15th International Conference on Principles of Distributed Systems},
    series = {OPODIS'11},
    year = {2011},
    isbn = {978-3-642-25872-5},
    location = {Toulouse, France},
    pages = {313--328},
    numpages = {16},
    url = {http://dx.doi.org/10.1007/978-3-642-25873-2_22 },
}


%-- hun

@inproceedings{Hunt10,
    author = {Hunt, Patrick and Konar, Mahadev and Junqueira, Flavio P. and Reed, Benjamin},
    title = {{ZooKeeper}: wait-free coordination for Internet-scale systems},
    booktitle = {Proc. ATC'10, USENIX Annual Technical Conference},
    year = {2010},
    location = {Boston, MA},
    pages = {145--158},
    url = {http://portal.acm.org/citation.cfm?id=1855840.1855851},
    publisher = {USENIX},
}


%-- lak

@article{Lakshman10,
    author = {Lakshman, Avinash and Malik, Prashant},
    title = {Cassandra: A Decentralized Structured Storage System},
    journal = {SIGOPS Oper. Syst. Rev.},
    issue_date = {April 2010},
    volume = {44},
    number = {2},
    month = apr,
    year = {2010},
    pages = {35--40},
    url = {http://doi.acm.org/10.1145/1773912.1773922},
    doi = {10.1145/1773912.1773922},
    publisher = {ACM},
} 


%-- lam

@article{Lamport74,
    author = {Lamport, Leslie},
    title = {A New Solution of Dijkstra's Concurrent Programming Problem},
    journal = {Commun. ACM},
    issue_date = {Aug. 1974},
    volume = {17},
    number = {8},
    month = aug,
    year = {1974},
    issn = {0001-0782},
    pages = {453--455},
    numpages = {3},
    url = {http://doi.acm.org/10.1145/361082.361093},
    publisher = {ACM},
} 

@article{Lamport78,
    author = {Leslie Lamport},
    title = {Time, clocks, and the ordering of events in a distributed system},
    journal = {Commun. ACM},
    volume = {21},
    number = {7},
    year = {1978},
    issn = {0001-0782},
    pages = {558--565},
    doi = {http://doi.acm.org/10.1145/359545.359563 },
    publisher = {ACM},
    address = {New York, NY, USA},
}

@article{Lamport86a,
    author={Lamport, Leslie},
    title={On interprocess communication. Part I: Basic formalism},
    journal={Distributed Computing},
    volume={1},
    number={2},
    pages={77-85},
    year={1986},
    url={http://dx.doi.org/10.1007/BF01786227},
    publisher={Springer-Verlag},
}

@article{Lamport86b,
    author={Lamport, Leslie},
    title={On interprocess communication. Part II: Algorithms},
    journal={Distributed Computing},
    volume={1},
    number={2},
    pages={86-101},
    year={1986},
    url={http://dx.doi.org/10.1007/BF01786228},
    publisher={Springer-Verlag},
}

@Article{Lamport01,
    author = {Lamport, Leslie},
    title = {Paxos Made Simple},
    year = {2001},
    month = {December},
    abstract = {At the PODC 2001 conference, I got tired of everyone saying how difficult it was to understand the Paxos algorithm, published in [122]. Although people got so hung up in the pseudo-Greek names that they found the paper hard to understand, the algorithm itself is very simple. So, I cornered a couple of people at the conference and explained the algorithm to them orally, with no paper. When I got home, I wrote down the explanation as a short note, which I later revised based on comments from Fred Schneider and Butler Lampson. The current version is 13 pages long, and contains no formula more complicated than n1 &gt; n2.},
    url = {https://www.microsoft.com/en-us/research/publication/paxos-made-simple/},
    pages = {51-58},
    journal = {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001)},
    edition = {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001)},
}


%-- li

@article{Li89,
    author = {Li, Kai and Hudak, Paul},
    title = {Memory Coherence in Shared Virtual Memory Systems},
    journal = {ACM Trans. Comput. Syst.},
    issue_date = {Nov. 1989},
    volume = {7},
    number = {4},
    month = nov,
    year = {1989},
    issn = {0734-2071},
    pages = {321--359},
    numpages = {39},
    url = {http://doi.acm.org/10.1145/75104.75105},
    doi = {10.1145/75104.75105},
    acmid = {75105},
    publisher = {ACM},
    address


%-- mar

@InProceedings{Maric17,
    author="Mari{\'{c}}, Ognjen and Sprenger, Christoph and Basin, David",
    editor="Majumdar, Rupak and Kun{\v{c}}ak, Viktor",
    title="Cutoff Bounds for Consensus Algorithms",
    booktitle="Computer Aided Verification",
    year="2017",
    publisher="Springer International Publishing",
    address="Cham",
    pages="217--237",
    isbn="978-3-319-63390-9"
}


%-- mat

@inproceedings{Mattern89,
    author = {Friedemann Mattern},
    title = {Virtual time and global states of distributed systems},
    booktitle = {Proc. International Workshop on Parallel and Distributed Algorithms},
    address = {Holland},
    year = {1989},
    pages = {215--226},
}


%-- mis

@article{Misra86,
    author = {Misra, J.},
    title = {Axioms for Memory Access in Asynchronous Hardware Systems},
    journal = {ACM Trans. Program. Lang. Syst.},
    issue_date = {Jan. 1986},
    volume = {8},
    number = {1},
    month = jan,
    year = {1986},
    issn = {0164-0925},
    pages = {142--153},
    numpages = {12},
    url = {http://doi.acm.org/10.1145/5001.5007},
    doi = {10.1145/5001.5007},
    acmid = {5007},
    publisher = {ACM},
    address = {New York, NY, USA},
}


%-- ong

@inproceedings{Ongaro14,
    author = {Ongaro, Diego and Ousterhout, John},
    title = {In Search of an Understandable Consensus Algorithm},
    booktitle = {Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference},
    series = {USENIX ATC'14},
    year = {2014},
    isbn = {978-1-931971-10-2},
    location = {Philadelphia, PA},
    pages = {305--320},
    numpages = {16},
    url = {http://dl.acm.org/citation.cfm?id=2643634.2643666},
    acmid = {2643666},
    publisher = {USENIX Association},
    address = {Berkeley, CA, USA},
} 


%-- sha

@article{Shao11,
    author = {Shao, Cheng and Welch, Jennifer L. and Pierce, Evelyn and Lee, Hyunyoung},
    title = {Multiwriter Consistency Conditions for Shared Memory Registers},
    journal = {SIAM J. Comput.},
    issue_date = {February 2011},
    volume = {40},
    number = {1},
    month = jan,
    year = {2011},
    issn = {0097-5397},
    pages = {28--62},
    numpages = {35},
    url = {http://dx.doi.org/10.1137/07071158X},
    doi = {10.1137/07071158X},
    acmid = {2078669},
    publisher = {Society for Industrial and Applied Mathematics},
    address = {Philadelphia, PA, USA},
    keywords = {multiwriter registers, mutual exclusion, quorum systems, regularity, shared memory consistency},
} 